Higher-Kinded Data
from Haskell
通称HKD
https://qiita.com/thimura/items/85bdeeca6ced74c89478
なにこれ
http://fumieval.hatenablog.com/entry/2019/12/25/224329
https://assets.adobe.com/public/b93f214d-58c2-482f-5528-a939d3e83660